Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 4400 results
Sort by: relevance publication year

Subtree matching by deterministic pushdown automata

PROCEEDINGS ARTICLE published October 2009 in 2009 International Multiconference on Computer Science and Information Technology

Authors: Tomas Flouri | Borivoj Melichar | J. Janousek

https://doi.org/10.1109/imcsit.2009.5352769 Actions

DETERMINISTIC PUSHDOWN AUTOMATA AND UNARY LANGUAGES

JOURNAL ARTICLE published August 2009 in International Journal of Foundations of Computer Science

Authors: GIOVANNI PIGHIZZINI

https://doi.org/10.1142/s0129054109006784 Actions

A NOTE ON LIMITED PUSHDOWN ALPHABETS IN STATELESS DETERMINISTIC PUSHDOWN AUTOMATA

JOURNAL ARTICLE published April 2013 in International Journal of Foundations of Computer Science

Authors: TOMÁŠ MASOPUST

https://doi.org/10.1142/s0129054113500068 Actions

Simplification Problems for Deterministic Pushdown Automata on Infinite Words

JOURNAL ARTICLE published December 2015 in International Journal of Foundations of Computer Science

Authors: Christof Löding

https://doi.org/10.1142/s0129054115400122 Actions

Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation

PROCEEDINGS ARTICLE published June 2015 in 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises

Authors: M'Hemdi Hana | Jacques Julliand | Pierre-Alain Masson | Riadh Robbana

https://doi.org/10.1109/wetice.2015.35 Actions

Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines

PROCEEDINGS ARTICLE published June 2016 in 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)

Authors: Hana M'Hemdi | Jacques Julliand | Pierre-Alain Masson | Riadh Robbana

https://doi.org/10.1109/wetice.2016.54 Actions

Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

PROCEEDINGS ARTICLE published September 2008 in 2008 Fifth International Conference on Quantitative Evaluation of Systems

Authors: Kousha Etessami | Dominik Wojtczak | Mihalis Yannakakis

https://doi.org/10.1109/qest.2008.35 Actions

Lattice-valued tree pushdown automata: Pumping lemma and closure properties

JOURNAL ARTICLE published March 2022 in International Journal of Approximate Reasoning

Authors: Maryam Ghorani | Sunita Garhwal | Somaye Moghari

https://doi.org/10.1016/j.ijar.2021.12.002 Actions

Sublogarithmic Space-bounded Multi-inkdot Alternating Pushdown Automata with Only Existential (Universal) States

PROCEEDINGS ARTICLE published April 2009 in 2009 International Joint Conference on Artificial Intelligence

Authors: Jian-liang Xu | Jian-liang Wang

https://doi.org/10.1109/jcai.2009.151 Actions

A Memory Efficient Regular Expression Matching by Compressing Deterministic Finite Automata

JOURNAL ARTICLE published 18 July 2015 in International Journal of Computer Applications

Authors: Utkarsha P.Pisolkar | Shivaji R. Lahane

https://doi.org/10.5120/21815-5143 Actions

A Method to Convert Regular Expression into Non-Deterministic Finite Automata

JOURNAL ARTICLE published 19 December 2019 in International Journal of Applied Science & Engineering

Authors: Abhishek Singh

https://doi.org/10.30954/2322-0465.2.2019.3 Actions

Non-deterministic cellular automata and languages

JOURNAL ARTICLE published August 2012 in International Journal of General Systems

Authors: Martin Kutrib

https://doi.org/10.1080/03081079.2012.695896 Actions

NFAs with tagged transitions, their conversion to deterministic automata and application to regular expressions

PROCEEDINGS ARTICLE published in Proceedings Seventh International Symposium on String Processing and Information Retrieval. SPIRE 2000

Authors: V. Laurikari

https://doi.org/10.1109/spire.2000.878194 Actions

Synchronizing Words for Real-Time Deterministic Pushdown Automata

BOOK CHAPTER published 2022 in Proceedings of the Seventh International Conference on Mathematics and Computing

Authors: Tomoyuki Yamakami | Eitatsu Mikami

https://doi.org/10.1007/978-981-16-6890-6_41 Actions

ATM PIN generation - a formal mathematical model to generate PIN using regular grammar, context free grammar and recognition through finite state machine, pushdown automata

JOURNAL ARTICLE published 2019 in International Journal of Internet Protocol Technology

Authors: S. Vaithyasubramanian | A. Christy

https://doi.org/10.1504/ijipt.2019.10019899 Actions

ATM PIN generation - a formal mathematical model to generate PIN using regular grammar, context free grammar and recognition through finite state machine, pushdown automata

JOURNAL ARTICLE published 2019 in International Journal of Internet Protocol Technology

Authors: S. Vaithyasubramanian | A. Christy

https://doi.org/10.1504/ijipt.2019.098485 Actions

A genetic algorithm for the induction of pushdown automata

PROCEEDINGS ARTICLE published in Proceedings of 1995 IEEE International Conference on Evolutionary Computation

Authors: M.M. Lankhorst

https://doi.org/10.1109/icec.1995.487478 Actions

ON THE EQUIVALENCE OF TWO-WAY PUSHDOWN AUTOMATA AND COUNTER MACHINES OVER BOUNDED LANGUAGES

JOURNAL ARTICLE published June 1993 in International Journal of Foundations of Computer Science

Authors: OSCAR H. IBARRA | TAO JIANG | NICHOLAS TRAN | HUI WANG

https://doi.org/10.1142/s0129054193000092 Actions

Algorithmic Formal Proof of Equivalence of Nondeterministic and Deterministic Finite Automata

PROCEEDINGS ARTICLE published February 2009 in 2009 International Conference on Electronic Computer Technology

Authors: Nazir Ahmad Zafar | Syed Hasnain Haider Shah

https://doi.org/10.1109/icect.2009.140 Actions

Bounded repairability for regular tree languages

PROCEEDINGS ARTICLE published 26 March 2012 in Proceedings of the 15th International Conference on Database Theory

Research funded by Agence Nationale de la Recherche (ANR-08-DEFIS-004) | Engineering and Physical Sciences Research Council (EP/G004021/1) | Seventh Framework Programme (FP7-ICT-233599) | FEDER, Contrat de Projets Etat Region (CPER) (2007-2013)

Authors: Gabriele Puppis | Cristian Riveros | Sławek Staworko

https://doi.org/10.1145/2274576.2274593 Actions
Feedback: support@crossref.org